Automated theorem proving

Qualità:

L'articolo "Automated theorem proving" nella Wikipedia in inglese ha 33.7 punti per la qualità (al 1 novembre 2023). L'articolo contiene 24 riferimenti e 15 sezioni. L'articolo contiene anche un modello di difetti di qualità, che riduce il punteggio di qualità.

Questo articolo ha la migliore qualità nella Wikipedia in portoghese. Tuttavia, questo articolo è il più popolare nella versione inglese.

Nel ottobre 2023 l'articolo "Automated theorem proving" è stato modificato da 1 autori nella Wikipedia in inglese e scritto da 4 autori in tutte le lingue.

Dalla creazione dell'articolo "Automated theorem proving", il suo contenuto è stato scritto da 209 utenti registrati di Wikipedia in inglese e modificato da 421 utenti registrati di Wikipedia in tutte le lingue.

L'articolo è citato 375 volte nella Wikipedia in inglese e citato 786 volte in tutte le lingue.

Il grado di interesse degli autori più alto dal 2001:/p>

• Locale (inglese): N. 127 nel novembre 2001
• Globale: N. 159 nel novembre 2001

Il grado di popolarità più alto dal 2008:

• Locale (inglese): N. 54842 nell'agosto 2008
• Globale: N. 76451 nell'agosto 2008

Ci sono 17 versioni linguistiche per questo articolo nel database WikiRank (delle 55 edizioni linguistiche di Wikipedia considerate).

La valutazione della qualità e della popolarità si basava sui dump di Wikipedia del 1 novembre 2023 (inclusa la cronologia delle revisioni e le visualizzazioni di pagina degli anni precedenti).

La tabella seguente mostra le versioni linguistiche dell'articolo con la massima qualità.

#	Lingua	Grado di qualità	Punteggio di qualità
1	portoghese (pt) Prova automática de teoremas		34.3697
2	inglese (en) Automated theorem proving		33.711
3	giapponese (ja) 自動定理証明		22.9089
4	italiano (it) Dimostrazione automatica di teoremi		20.6412
5	spagnolo (es) Demostración automática de teoremas		14.5303
6	basco (eu) Teoremen frogapen automatiko		11.4951
7	polacco (pl) Automatyczne dowodzenie twierdzeń		10.7179
8	russo (ru) Автоматическое доказательство		8.8301
9	azero (az) Teoremlərin avtomatik sübutu		8.1057
10	cinese (zh) 自動化定理證明		5.263

La tabella seguente mostra le versioni linguistiche più popolari dell'articolo.

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Automated theorem proving		969 656
2	spagnolo (es) Demostración automática de teoremas		160 435
3	giapponese (ja) 自動定理証明		94 253
4	russo (ru) Автоматическое доказательство		81 984
5	polacco (pl) Automatyczne dowodzenie twierdzeń		63 187
6	cinese (zh) 自動化定理證明		32 009
7	francese (fr) Démonstration automatique de théorèmes		28 548
8	portoghese (pt) Prova automática de teoremas		18 872
9	italiano (it) Dimostrazione automatica di teoremi		11 350
10	persiano (fa) اثبات قضیه خودکار		10 935

La tabella seguente mostra le versioni linguistiche dell'articolo con la maggiore popolarità nell'ultimo mese.

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Automated theorem proving		5 345
2	giapponese (ja) 自動定理証明		421
3	russo (ru) Автоматическое доказательство		360
4	spagnolo (es) Demostración automática de teoremas		321
5	cinese (zh) 自動化定理證明		178
6	francese (fr) Démonstration automatique de théorèmes		107
7	polacco (pl) Automatyczne dowodzenie twierdzeń		102
8	italiano (it) Dimostrazione automatica di teoremi		100
9	persiano (fa) اثبات قضیه خودکار		54
10	portoghese (pt) Prova automática de teoremas		51

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggiore interesse degli autori.

#	Lingua	Premio IA	IA relativi
1	inglese (en) Automated theorem proving		209
2	spagnolo (es) Demostración automática de teoremas		35
3	francese (fr) Démonstration automatique de théorèmes		26
4	giapponese (ja) 自動定理証明		26
5	polacco (pl) Automatyczne dowodzenie twierdzeń		25
6	russo (ru) Автоматическое доказательство		22
7	italiano (it) Dimostrazione automatica di teoremi		18
8	portoghese (pt) Prova automática de teoremas		16
9	cinese (zh) 自動化定理證明		11
10	ucraino (uk) Автоматизоване доведення теорем		9

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggiore interesse degli autori nell'ultimo mese.

#	Lingua	Premio IA	IA relativi
1	coreano (ko) 자동 정리 증명		2
2	inglese (en) Automated theorem proving		1
3	italiano (it) Dimostrazione automatica di teoremi		1
4	azero (az) Teoremlərin avtomatik sübutu		0
5	spagnolo (es) Demostración automática de teoremas		0
6	basco (eu) Teoremen frogapen automatiko		0
7	persiano (fa) اثبات قضیه خودکار		0
8	francese (fr) Démonstration automatique de théorèmes		0
9	armeno (hy) Թեորեմների ավտոմատացված ապացուցում		0
10	giapponese (ja) 自動定理証明		0

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggior numero di citazioni.

Il 30 maggio 2024 nella Wikipedia multilingue gli utenti di Internet leggono più spesso articoli sui seguenti argomenti: Corpus Domini, YouTube, Vincent Kompany, Hans-Dieter Flick, UEFA Europa Conference League, morti nel 2024, ChatGPT, Podosfairiki Anonymi Etaireia Olympiakos Syndesmos Filathlon Peiraios, Furiosa: A Mad Max Saga, campionato europeo di calcio 2024.

Nella Wikipedia in inglese gli articoli più popolari quel giorno erano: Donald Trump, Deaths in 2024, 2024 South African general election, Furiosa (film), YouTube, Next Indian general election, Willie Nelson, Giles Corey, Murder of Reena Virk, Project 2025.

Il progetto è finalizzato alla valutazione relativa automatica degli articoli nelle diverse versioni linguistiche di Wikipedia. Al momento il servizio permette di confrontare oltre 44 milioni di articoli di Wikipedia in 55 lingue. I punteggi di qualità degli articoli si basano sui dump di Wikipedia del novembre 2023. Nel calcolare la popolarità attuale e l'intelligenza artificiale degli articoli sono stati presi in considerazione i dati del ottobre 2023. Per i valori storici di popolarità e AI WikiRank ha utilizzato dati dal 2001 al 2023... More information